174 research outputs found
Models and Strategies for Variants of the Job Shop Scheduling Problem
Recently, a variety of constraint programming and Boolean satisfiability
approaches to scheduling problems have been introduced. They have in common the
use of relatively simple propagation mechanisms and an adaptive way to focus on
the most constrained part of the problem. In some cases, these methods compare
favorably to more classical constraint programming methods relying on
propagation algorithms for global unary or cumulative resource constraints and
dedicated search heuristics. In particular, we described an approach that
combines restarting, with a generic adaptive heuristic and solution guided
branching on a simple model based on a decomposition of disjunctive
constraints. In this paper, we introduce an adaptation of this technique for an
important subclass of job shop scheduling problems (JSPs), where the objective
function involves minimization of earliness/tardiness costs. We further show
that our technique can be improved by adding domain specific information for
one variant of the JSP (involving time lag constraints). In particular we
introduce a dedicated greedy heuristic, and an improved model for the case
where the maximal time lag is 0 (also referred to as no-wait JSPs).Comment: Principles and Practice of Constraint Programming - CP 2011, Perugia
: Italy (2011
Distribution of graph-distances in Boltzmann ensembles of RNA secondary structures
Large RNA molecules often carry multiple functional domains whose spatial
arrangement is an important determinant of their function. Pre-mRNA splicing,
furthermore, relies on the spatial proximity of the splice junctions that can
be separated by very long introns. Similar effects appear in the processing of
RNA virus genomes. Albeit a crude measure, the distribution of spatial
distances in thermodynamic equilibrium therefore provides useful information on
the overall shape of the molecule can provide insights into the interplay of
its functional domains. Spatial distance can be approximated by the
graph-distance in RNA secondary structure. We show here that the equilibrium
distribution of graph-distances between arbitrary nucleotides can be computed
in polynomial time by means of dynamic programming. A naive implementation
would yield recursions with a very high time complexity of O(n^11). Although we
were able to reduce this to O(n^6) for many practical applications a further
reduction seems difficult. We conclude, therefore, that sampling approaches,
which are much easier to implement, are also theoretically favorable for most
real-life applications, in particular since these primarily concern long-range
interactions in very large RNA molecules.Comment: Peer-reviewed and presented as part of the 13th Workshop on
Algorithms in Bioinformatics (WABI2013
Effective Hamiltonian and unitarity of the S matrix
The properties of open quantum systems are described well by an effective
Hamiltonian that consists of two parts: the Hamiltonian of the
closed system with discrete eigenstates and the coupling matrix between
discrete states and continuum. The eigenvalues of determine the
poles of the matrix. The coupling matrix elements
between the eigenstates of and the continuum may be very
different from the coupling matrix elements between the eigenstates
of and the continuum. Due to the unitarity of the matrix, the
\TW_k^{cc'} depend on energy in a non-trivial manner, that conflicts with the
assumptions of some approaches to reactions in the overlapping regime. Explicit
expressions for the wave functions of the resonance states and for their phases
in the neighbourhood of, respectively, avoided level crossings in the complex
plane and double poles of the matrix are given.Comment: 17 pages, 7 figure
Exact Solution for the Critical State in Thin Superconductor Strips with Field Dependent or Anisotropic Pinning
An exact analytical solution is given for the critical state problem in long
thin superconductor strips in a perpendicular magnetic field, when the critical
current density j_c(B) depends on the local induction B according to a simple
three-parameter model. This model describes both isotropic superconductors with
this j_c(B) dependence, but also superconductors with anisotropic pinning
described by a dependence j_c(theta) where theta is the tilt angle of the flux
lines away from the normal to the specimen plane
Optical suppression of tilt-to-length coupling in the LISA long-arm interferometer
The arm length and the isolation in space enable the Laser Interferometer Space Antenna (LISA) to probe for signals unattainable on the ground, opening a window to the subhertz gravitational-wave universe. The coupling of unavoidable angular spacecraft jitter into the longitudinal displacement measurement, an effect known as tilt-to-length (TTL) coupling, is critical for realizing the required sensitivity of
picometer
/
â
Hz
. An ultrastable interferometer test bed has been developed in order to investigate this issue and validate mitigation strategies in a setup representative of LISA and in this paper it is operated in the long-arm interferometer configuration. The test bed is fitted with a flat-top beam generator to simulate the beam received by a LISA spacecraft. We demonstrate a reduction of TTL coupling between this flat-top beam and a Gaussian reference beam via the introduction of two- and four-lens imaging systems. TTL coupling factors below
±
25
Ό
m
/
rad
for beam tilts within
±
300
Ό
rad
are obtained by careful optimization of the system. Moreover, we show that the additional TTL coupling due to lateral-alignment errors of elements of the imaging system can be compensated by introducing lateral shifts of the detector and vice versa. These findings help validate the suitability of this noise-reduction technique for the LISA long-arm interferometer
Update on the correlation of the highest energy cosmic rays with nearby extragalactic matter
Data collected by the Pierre Auger Observatory through 31 August 2007 showed
evidence for anisotropy in the arrival directions of cosmic rays above the
Greisen-Zatsepin-Kuz'min energy threshold, \nobreak{eV}. The
anisotropy was measured by the fraction of arrival directions that are less
than from the position of an active galactic nucleus within 75 Mpc
(using the V\'eron-Cetty and V\'eron catalog). An updated
measurement of this fraction is reported here using the arrival directions of
cosmic rays recorded above the same energy threshold through 31 December 2009.
The number of arrival directions has increased from 27 to 69, allowing a more
precise measurement. The correlating fraction is , compared
with expected for isotropic cosmic rays. This is down from the early
estimate of . The enlarged set of arrival directions is
examined also in relation to other populations of nearby extragalactic objects:
galaxies in the 2 Microns All Sky Survey and active galactic nuclei detected in
hard X-rays by the Swift Burst Alert Telescope. A celestial region around the
position of the radiogalaxy Cen A has the largest excess of arrival directions
relative to isotropic expectations. The 2-point autocorrelation function is
shown for the enlarged set of arrival directions and compared to the isotropic
expectation.Comment: Accepted for publication in Astroparticle Physics on 31 August 201
Atmospheric effects on extensive air showers observed with the Surface Detector of the Pierre Auger Observatory
Atmospheric parameters, such as pressure (P), temperature (T) and density,
affect the development of extensive air showers initiated by energetic cosmic
rays. We have studied the impact of atmospheric variations on extensive air
showers by means of the surface detector of the Pierre Auger Observatory. The
rate of events shows a ~10% seasonal modulation and ~2% diurnal one. We find
that the observed behaviour is explained by a model including the effects
associated with the variations of pressure and density. The former affects the
longitudinal development of air showers while the latter influences the Moliere
radius and hence the lateral distribution of the shower particles. The model is
validated with full simulations of extensive air showers using atmospheric
profiles measured at the site of the Pierre Auger Observatory.Comment: 24 pages, 9 figures, accepted for publication in Astroparticle
Physic
The exposure of the hybrid detector of the Pierre Auger Observatory
The Pierre Auger Observatory is a detector for ultra-high energy cosmic rays.
It consists of a surface array to measure secondary particles at ground level
and a fluorescence detector to measure the development of air showers in the
atmosphere above the array. The "hybrid" detection mode combines the
information from the two subsystems. We describe the determination of the
hybrid exposure for events observed by the fluorescence telescopes in
coincidence with at least one water-Cherenkov detector of the surface array. A
detailed knowledge of the time dependence of the detection operations is
crucial for an accurate evaluation of the exposure. We discuss the relevance of
monitoring data collected during operations, such as the status of the
fluorescence detector, background light and atmospheric conditions, that are
used in both simulation and reconstruction.Comment: Paper accepted by Astroparticle Physic
The Fluorescence Detector of the Pierre Auger Observatory
The Pierre Auger Observatory is a hybrid detector for ultra-high energy
cosmic rays. It combines a surface array to measure secondary particles at
ground level together with a fluorescence detector to measure the development
of air showers in the atmosphere above the array. The fluorescence detector
comprises 24 large telescopes specialized for measuring the nitrogen
fluorescence caused by charged particles of cosmic ray air showers. In this
paper we describe the components of the fluorescence detector including its
optical system, the design of the camera, the electronics, and the systems for
relative and absolute calibration. We also discuss the operation and the
monitoring of the detector. Finally, we evaluate the detector performance and
precision of shower reconstructions.Comment: 53 pages. Submitted to Nuclear Instruments and Methods in Physics
Research Section
Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory
The advent of the Auger Engineering Radio Array (AERA) necessitates the
development of a powerful framework for the analysis of radio measurements of
cosmic ray air showers. As AERA performs "radio-hybrid" measurements of air
shower radio emission in coincidence with the surface particle detectors and
fluorescence telescopes of the Pierre Auger Observatory, the radio analysis
functionality had to be incorporated in the existing hybrid analysis solutions
for fluoresence and surface detector data. This goal has been achieved in a
natural way by extending the existing Auger Offline software framework with
radio functionality. In this article, we lay out the design, highlights and
features of the radio extension implemented in the Auger Offline framework. Its
functionality has achieved a high degree of sophistication and offers advanced
features such as vectorial reconstruction of the electric field, advanced
signal processing algorithms, a transparent and efficient handling of FFTs, a
very detailed simulation of detector effects, and the read-in of multiple data
formats including data from various radio simulation codes. The source code of
this radio functionality can be made available to interested parties on
request.Comment: accepted for publication in NIM A, 13 pages, minor corrections to
author list and references in v
- âŠ